Forgotten file

This change to geninclude.pl.in is needed to make my commit
91d01434bc77b454d1f59ab72d8dbed97c7269f1 work.

diff --git a/demos/gtk-demo/geninclude.pl.in b/demos/gtk-demo/geninclude.pl.in
index 48181b24604787fe19b42f7e8502dc6987b3b89b..9b9866318a7f40ea220d9ed0a44518ffa788d7f5 100755 (executable)
--- a/demos/gtk-demo/geninclude.pl.in
+++ b/demos/gtk-demo/geninclude.pl.in
@@ -23,13 +23,20 @@ for $file (@ARGV) {
     open INFO_FILE, $file or die "Cannot open '$file'\n";
     $title = <INFO_FILE>;
     $title =~ s@^\s*/\*\s*@@;
+    $extra = "";
+    if ($title =~ /^(.*)::(.*)$/) {
+        $title = $1;
+        $extra = " $2";
+    }
     $title =~ s@\s*$@@;
+    $extra =~ s@^\s*@@;
+    $extra =~ s@\s*$@@;
 
     close INFO_FILE;
 
     print "GtkWidget *do_$basename (GtkWidget *do_widget);\n";
 
-    push @demos, {"title" => $title, "file" => $file,
+    push @demos, {"title" => $title, "file" => "$file $extra",
                  "func"  => "do_$basename"};
 }